Of first-class methods and dynamic scope

When considering the wide range of object-oriented programming languages, one hardly ever finds methods to be first-class entities. At first sight, this phenomenon seems to be caused by a concern for an efficient implementation. Closer inspection however, reveals more subtle grounds that are rooted in issues more fundamental than performance. This paper investigates this aspect of object-oriented programming languages using an extensible object model that is sufficiently simple to reveal the various concerns. In particular, it argues in favor of dynamic scoping as a setting in which to manipulate first-class methods. RÉSUMÉ. Parmi l’éventail très large de langages orientés objet, la notion de méthodes de première classe est en général absente. A première vue, ce phénomène semble être causé par un souci d’efficacité. Une étude plus approfondie dévoile néanmoins des raisons plus subtiles, ayant une origine dans des considérations plus fondamentales. Ce papier examine cet aspect de langages de programmation orientés objet en utilisant un modèle objet extensible qui est suffisamment simple pour exposer les soucis divers. Nous y proposerons en particulier de choisir pour la portée dynamique de variables comme contexte optimal dans lequel utiliser des méthodes de première classe.